A Calculus of Macro-Events: Progress Report
نویسندگان
چکیده
The need of constraining the temporal relationships among sets of related events arises in several temporal reasoning tasks, including monitoring, plan validation, planning, and diagnosis. Process constructors provide an e ective way of packaging up related events into individual conceptual chunks, called macro-events. In this paper, we present a rst attempt at de ning a Calculus of Macro-Events that extends Kowalski and Sergot's Event Calculus with process constructors to express e ects triggered by complex combinations of event occurrences. We apply this language to model the operations of a simple gas heater, and present a Prolog implementation.
منابع مشابه
Macro Lambda Calculus
The goal of our Macro Lambda Calculus project (MLC) is to encode λ-terms into interaction nets. Its software implementation accepts input in the notation similar to λ-calculus allowing macro definitions. Output is similar to interaction calculus and is suitable for our Interaction Nets Compiler program (INC). In this paper, we describe the interaction system for call-by-need evaluation and the ...
متن کاملMeasurement of the ratio double/single muon events as a function of rock depth with MACRO
We report the measurement by the MACRO experiment of the ratio of double muon events over single muon events as a function of rock depth. Particular attention has been devoted to the analysis of high zenith angle events. Results are compared to the expectation of a detailed simulation performed with HEMAS-DPM Monte Carlo. No deviations with respect to “standard physics” predictions have been fo...
متن کامل15-816 Modal Logic, Project Report An Intuitionistic Modal Logic for Probability Theory
We present a natural deduction calculus for an explicit-worlds modal logic of probability. We treat random events as propositions, and the worlds that index them represent probabilistic “worlds” in which they occur. These worlds form an algebraic structure called a residuated lattice with divisibility, and they record enough information about where events occur to suffice for probabilistic reas...
متن کاملReactive Hyperplastic Lesion of Endodontic Origin Mimicking Pregnancy Tumor: A Case Report
Gingiva is a common region of inflammatory and reactive lesions. Systemic conditions, including hormonal imbalance in pregnant women, may cause exaggerated response to irritations such as calculus or infection. Therefore, more accurate assessment is necessary to achieve the best decision making in the differential diagnosis and treatment of these patients. In this paper, we present a rea...
متن کامل